$\forall$$D_{1}$, $D_{2}$:dsys\{i:l\}. d{-}sub\{i:l\}($D_{1}$; $D_{2}$) $\in$ Prop$_{\mbox{\scriptsize i'}}$